Elliptic curves of large rank and small conductor

For r=6,7,...,11 we find an elliptic curve E/Q of rank at least r and the smallest conductor known, improving on the previous records by factors ranging from 1.0136 (for r=6) to over 100 (for r=10 and r=11). We describe our search methods, and tabulate, for each r=5,6,...,11, the five curves of lowest conductor, and (except for r=11) also the five of lowest absolute discriminant, that we found.Comment: 16 pages, including tables and one .eps figure; to appear in the Proceedings of ANTS-6 (June 2004, Burlington, VT). Revised somewhat after comments by J.Silverman on the previous draft, and again to get the correct page break

Popular matchings with two-sided preferences and one-sided ties

We are given a bipartite graph $G = (A \cup B, E)$ where each vertex has a preference list ranking its neighbors: in particular, every $a \in A$ ranks its neighbors in a strict order of preference, whereas the preference lists of $b \in B$ may contain ties. A matching $M$ is popular if there is no matching $M'$ such that the number of vertices that prefer $M'$ to $M$ exceeds the number of vertices that prefer $M$ to~$M'$. We show that the problem of deciding whether $G$ admits a popular matching or not is NP-hard. This is the case even when every $b \in B$ either has a strict preference list or puts all its neighbors into a single tie. In contrast, we show that the problem becomes polynomially solvable in the case when each $b \in B$ puts all its neighbors into a single tie. That is, all neighbors of $b$ are tied in $b$'s list and $b$ desires to be matched to any of them. Our main result is an $O(n^2)$ algorithm (where $n = |A \cup B|$) for the popular matching problem in this model. Note that this model is quite different from the model where vertices in $B$ have no preferences and do not care whether they are matched or not.Comment: A shortened version of this paper has appeared at ICALP 201

Popular Matchings in the Capacitated House Allocation Problem

We consider the problem of finding a popular matching in the Capacitated House Allocation problem (CHA). An instance of CHA involves a set of agents and a set of houses. Each agent has a preference list in which a subset of houses are ranked in strict order, and each house may be matched to a number of agents that must not exceed its capacity. A matching M is popular if there is no other matching M′ such that the number of agents who prefer their allocation in M′ to that in M exceeds the number of agents who prefer their allocation in M to that in M′. Here, we give an O(√C+n1m) algorithm to determine if an instance of CHA admits a popular matching, and if so, to find a largest such matching, where C is the total capacity of the houses, n1 is the number of agents and m is the total length of the agents’ preference lists. For the case where preference lists may contain ties, we give an O(√Cn1+m) algorithm for the analogous problem

Effects of migratory status and habitat on the prevalence and intensity of infection by haemoparasites in passerines in eastern Spain

The Iberian peninsula is a suitable place to study the effects of migratory condition on the prevalence of blood parasites in avian communities as resident, local populations cohabit with migratory species and with abundant vector populations. In this study we examined the incidence of avian blood parasites in three localities in the Mediterranean region (east Spain), in relation to the migratory status of the species. We analyzed 333 blood smears from 11 avian species, and obtained an overall prevalence of 9.6%. The prevalence of parasites varied among the different species studied, although intensity of infection did not. Our results are discussed in terms of population dynamics and abundance of Diptera vectors able to transmit blood parasites to other birds

Electrochemically gated graphene field-effect transistor for extracellular cell signal recording

This work presents an experimental characterization of electrochemically gated graphene field-effect transistors (EGFETs) to measure extracellular cell signals. The performance of the EGFETs was evaluated using cardiomyocytes cells. Extracellular signals with a peak value of 0.4 pico-amperes (pA) embedded in a noise level of 0.1 pA were recorded. Signals in current mode were compared with signals recorded as a voltage. Signals below 28 μV of magnitude can be detected in a noise floor of 7 μV with a signal-to-noise ratio of 4

Forecasting pharmaceutical expenditure in Europe : adjusting for the impact of rebates and discounts

European healthcare systems are under constant pressure to contain healthcare expenditure. Understanding future drug expenditure is an important consideration for payers when formulating policies. QuintileIMS publishes European forecasts that are underpinned by its audited volume data and publicly available list prices. With increasing price pressures, list to net price divergence is growing, although some of this information is commercially sensitive and thus not publicly available. The objective of this study was to further develop an established forecast to account for this divergence and explore its impact

A modeling domain-specific language for IoT-enabled operating systems

With the increased complexity of low-end devices in the Internet of Things (IoT), mainly due to the connectivity and interoperability requirements, the development and configuration of embedded operating systems (OSes) for such devices is not straight forward. The complexity of the communication requirements is usually mitigated by the OS, e.g., the Contiki-OS, as it already incorporates an IoT-compliant network stack. Yet, the configuration of such stack requires major knowledge on the code structure, leading to additional development time, particularly when the network comprises several wireless nodes and individual configurations with subsequent firmware that needs to be generated. Based on a developed software modeling domain-specific language, this paper presents the EL4IoT framework. It aims to reduce and ease the development time by promoting a design automation tool that can configure, and automatically generate code (ready to compile) for low-end IoT devices running the Contiki-OS. Although leveraging the whole Contiki-OS modeling, this work only refactored and modeled the network stack while approaching the OS itself as one big building block or component. The proposed approach can be extended to other IoT-enabled OSes as well as integrated in other design automation tools.This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and FCT - Fundação para a Ciência e Tecnologia within the Project Scope: UID/CEC/00319/2013. Tiago Gomes is supported by FCT PhD grant SFRH/BD/90162/2012

Beyond deficit-based models of learners' cognition: Interpreting engineering students' difficulties with sense-making in terms of fine-grained epistemological and conceptual dynamics

Researchers have argued against deficit-based explanations of students' troubles with mathematical sense-making, pointing instead to factors such as epistemology: students' beliefs about knowledge and learning can hinder them from activating and integrating productive knowledge they have. In this case study of an engineering major solving problems (about content from his introductory physics course) during a clinical interview, we show that "Jim" has all the mathematical and conceptual knowledge he would need to solve a hydrostatic pressure problem that we posed to him. But he reaches and sticks with an incorrect answer that violates common sense. We argue that his lack of mathematical sense-making-specifically, translating and reconciling between mathematical and everyday/common-sense reasoning-stems in part from his epistemological views, i.e., his views about the nature of knowledge and learning. He regards mathematical equations as much more trustworthy than everyday reasoning, and he does not view mathematical equations as expressing meaning that tractably connects to common sense. For these reasons, he does not view reconciling between common sense and mathematical formalism as either necessary or plausible to accomplish. We, however, avoid a potential "deficit trap"-substituting an epistemological deficit for a concepts/skills deficit-by incorporating multiple, context-dependent epistemological stances into Jim's cognitive dynamics. We argue that Jim's epistemological stance contains productive seeds that instructors could build upon to support Jim's mathematical sense-making: He does see common-sense as connected to formalism (though not always tractably so) and in some circumstances this connection is both salient and valued.Comment: Submitted to the Journal of Engineering Educatio

Testing Hardy nonlocality proof with genuine energy-time entanglement

We show two experimental realizations of Hardy ladder test of quantum nonlocality using energy-time correlated photons, following the scheme proposed by A. Cabello \emph{et al.} [Phys. Rev. Lett. \textbf{102}, 040401 (2009)]. Unlike, previous energy-time Bell experiments, these tests require precise tailored nonmaximally entangled states. One of them is equivalent to the two-setting two-outcome Bell test requiring a minimum detection efficiency. The reported experiments are still affected by the locality and detection loopholes, but are free of the post-selection loophole of previous energy-time and time-bin Bell tests.Comment: 5 pages, revtex4, 6 figure